propositional calculus

Dette er ikke en ordbog! - Søg efter "propositional calculus" i Den Danske Ordbog

• 2. marts 2016 fra wordnet.princeton.edu

  propositional calculus — navneord — engelsk

  a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them